$\forall$$i$:Id. in{-}decl\{i:l\}($i$) $\in$ Type$_{\mbox{\scriptsize i'}}$